在一个凶杀暗剑的侦破过程中，警方查明一下事实：凶手只可能是甲或乙或丙；甲是一个惯窃犯，如果他作案，必定是谋财害命；乙是一个色情狂，如果是他作案，必定是奸情杀人案。现场勘查的结果是既未发现被害人受到侵犯，也未发现被害人的财物丢失（）

• A、凶手是甲
• B、凶手是乙
• C、凶手是丙
• D、不能确定凶手是谁

请分析：下面这个推理形式在什么情况下正确？在什么情况下不正确？为什么？或A或B或C；非A并且非B；所以C。

由”s必然是p为真“，可推出（）

• A、s可能是p为真
• B、s可能不是p为真
• C、s必然不是p为假
• D、s必然不是p为真
• E、s可能是p为假